搜索结果
线上研讨会 | 形式验证让功能仿真不再是孤独的勇者
随着芯片的规模和复杂度越来越高,对芯片的验证要求越来越高。在芯片开发生命周期的所有阶段——包括架构、设计、综合、集成和物理设计阶段,都可能会引入设计错误。如何更有效地完成芯片所 ...查看更多
西门子直播:旗下EDA产品OneSpin助力实现精确的验证覆盖率指标
近年来,随着集成电路产业技术的发展,芯片规模和复杂度不断提高,尤其是SoC芯片的兴起,我们能在一个芯片上集成整个系统。而这是使得芯片的验证工作变得越来越复杂和困难,验证工作在芯片研发中所占的比重也越来 ...查看更多
明导白皮书免费下载:使用UVM回调简化断言验证
前言 断言是一种条件语句,通过标记错误继而捕获错误来指示设计的不正确行为。断言用于验证处于不同生命周期阶段(例如形式验证、动态验证、运行时监控和仿真)的硬件设计。基于断言的验证为设计和验证过程提供了 ...查看更多